<html>
<head><meta charset="utf-8"><title>design meeting for const generics MVP · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html">design meeting for const generics MVP</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="204260821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204260821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204260821">(Jul 17 2020 at 21:21)</a>:</h4>
<p>So <span class="user-mention" data-user-id="256759">@boats</span> has proposed a design meeting <a href="https://github.com/rust-lang/lang-team/issues/37">lang-team#37</a>  for a const generics MVP. I'm all in favor. I'm wondering if we want to use next week's slot (July 22) for this (instead of <a href="https://github.com/rust-lang/lang-team/issues/25">lang-team#25</a>) or if we would rather schedule the meeting for July 29th.</p>
<p>One other question is whether it would be possible for <span class="user-mention" data-user-id="121053">@varkor</span>, <span class="user-mention" data-user-id="216206">@lcnr</span>, <span class="user-mention" data-user-id="119009">@eddyb</span> or other "core const generics hackers" to attend.</p>
<p>The design meetings take place at 13:00 UTC-04:00 (i.e., 19:00 CEST).</p>



<a name="204260902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204260902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Triplett <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204260902">(Jul 17 2020 at 21:22)</a>:</h4>
<p>I would be in favor of bumping the WF / type aliases issue, as long as you'll be available for when we do end up scheduling it.</p>



<a name="204261290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204261290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204261290">(Jul 17 2020 at 21:25)</a>:</h4>
<p><time datetime="2020-07-22T17:00:00Z">2020-07-22T13:00:00-04:00</time></p>



<a name="204261315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204261315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204261315">(Jul 17 2020 at 21:25)</a>:</h4>
<p>trying out the new zulip time picker support..</p>



<a name="204262419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204262419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204262419">(Jul 17 2020 at 21:35)</a>:</h4>
<p>I am interested and would have the time to attend on  <time datetime="2020-07-22T17:00:00Z">2020-07-22T13:00:00-04:00</time></p>



<a name="204279318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204279318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204279318">(Jul 18 2020 at 02:26)</a>:</h4>
<p>haha I was confused for a bit because it showed 20:00 which is what my local time would be for 19:00 CEST (as I am in EEST, one timezone east of CEST), but you need to hover to see that it's automatically adjusted for the timezone of the reader</p>



<a name="204279394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204279394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204279394">(Jul 18 2020 at 02:28)</a>:</h4>
<p>sounds plausible for me but my audio setup isn't great, I could listen in though</p>



<a name="204413431"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204413431" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204413431">(Jul 20 2020 at 12:00)</a>:</h4>
<p>I should be able to attend then.</p>



<a name="204468446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204468446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204468446">(Jul 20 2020 at 19:56)</a>:</h4>
<p>OK! Let's do it then.</p>



<a name="204468453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/design%20meeting%20for%20const%20generics%20MVP/near/204468453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/design.20meeting.20for.20const.20generics.20MVP.html#204468453">(Jul 20 2020 at 19:56)</a>:</h4>
<p>I'm going to adjust the calendar.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>